$\forall$$P$:$\mathbb{P}$. SqStable($\downarrow$$P$)